Software system safety - PDFSEARCH.IO - Document Search Engine

Software system safety
Results: 864

#	Item
781	SAFECOMP_2011_Tutorial_Part_1 Add to Reading List Source URL: www.computersociety.it Language: English - Date: 2011-11-08 05:53:56 Quality Safety engineering Reliability engineering Software quality Dependability Software aging Markov chain Fault-tolerant system Fault tree analysis Systems engineering Systems science Computing
782	Internet Use Policy Student Add to Reading List Source URL: www.warwwestss.eq.edu.au Language: English - Date: 2013-06-13 21:24:06 Digital media Internet privacy Password Acceptable use policy Superuser Internet Privilege Network service Security and safety features new to Windows Vista Computing System software Computer security
783	Sage: Hybrid Checking for Flexible Specifications Jessica Gronski† Kenneth Knowles† † Add to Reading List Source URL: scheme2006.cs.uchicago.edu Language: English - Date: 2006-08-29 21:53:24 Type theory Data types Functional languages Object-oriented programming Procedural programming languages Type system Type safety Subtype polymorphism Polymorphism Software engineering Computing Programming language theory
784	Stability analysis for diaphragm walls to DIN[removed]GGU-TRENCH VERSION 8 Last revision: Add to Reading List Source URL: manuals.ggu-software.com Language: English - Date: 2012-03-15 05:32:35 Structural system Menu extra Menu bar File menu Diaphragm Factor of safety Common menus in Microsoft Windows Menu Tire System software Software Graphical user interface elements
785	Analysis and Design of Safety Instrumented Systems Course This training course deals with the knowledge required to analyse and design Add to Reading List Source URL: www.hima.com.au Language: English - Date: 2011-09-19 21:48:28 Prevention Systems engineering Software quality Functional Safety Safety Integrity Level IEC 61511 Safety instrumented system IEC 61508 Software development process Safety Security Risk
786	Ref. Ares[removed][removed]EUROPEAN COMMISSION EXECUTIVE AGENCY FOR HEALTH AND CONSUMERS Consumers and Food Safety Consumers Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2013-09-20 07:09:33 Software Concurrent Versions System
787	ESSENTIAL QUESTIONS IN SYSTEM SAFETY: A Guide for Safety Decision Makers - Second Edition Add to Reading List Source URL: assets.booklocker.com Language: English - Date: 2014-06-24 07:57:22 Systems engineering Reliability engineering Risk management Software quality System safety Occupational safety and health Hazard analysis Safety engineer Fault tree analysis Risk Safety Safety engineering
788	A Principled, Complete, and Efficient Representation of C++ Gabriel Dos Reis and Bjarne Stroustrup Abstract. We present a systematic representation of C++, called IPR, for complete semantic analysis and semantics-based p Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:46 C++ Data types Type theory Cross-platform software Generic programming C++11 Type safety Decltype Type system Software engineering Computing Programming language theory
789	Support for the Evolution of C++ Generic Functions Peter Pirkelbauer, Damian Dechev, and Bjarne Stroustrup Department of Computer Science and Engineering Texas A&M University College Station, TX[removed] Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2012-10-03 14:24:52 C++ Generic programming Type theory Cross-platform software Concepts Template C++11 Type system Type safety Software engineering Computing Computer programming
790	Escaping the Bonds of the Legacy: Step-Wise Migration to a Type-Safe Language in Safety-Critical Embedded Systems Michael Stilkerich, Jens Schedel, Peter Ulbrich, Wolfgang Schr¨oder-Preikschat, Daniel Lohmann Department Add to Reading List Source URL: www4.cs.fau.de Language: English - Date: 2011-12-14 06:25:42 Java Virtual machine Kernel Embedded system Operating system Ring Computing platform C Application programming interface Computing Software Cross-platform software

UPDATE